GELATIO: a general framework for modular digital analysis of high-purity Ge detector signals
نویسندگان
چکیده
منابع مشابه
A General Framework for Modular Implementations of Modular System Specifications
We investigate the impact of modularity on the semantics and on the implementation of software specifications. Based on the stratified loose semantics approach we develop a suitable specification framework which meets our basic requirements: the independent construction of implementations for the single constituent parts (modules) of a system specification and the encapsulated development of ea...
متن کاملa time-series analysis of the demand for life insurance in iran
با توجه به تجزیه و تحلیل داده ها ما دریافتیم که سطح درامد و تعداد نمایندگیها باتقاضای بیمه عمر رابطه مستقیم دارند و نرخ بهره و بار تکفل با تقاضای بیمه عمر رابطه عکس دارند
JPure: A Modular Purity System for Java
Purity Analysis is the problem of determining whether or not a method may have side-effects. This has applications in automatic parallelisation, extended static checking, and more. We present a novel purity system for Java that employs purity annotations which can be checked modularly. This is done using a flow-sensitive, intraprocedural analysis. The system exploits two properties, called fres...
متن کاملThe Best Choice of High Purity Germanium (HPGe) Detector
below and are based on some basic concepts about how the detection process works, how gamma rays penetrate materials, and the principles of gamma-ray spectroscopy. Unresolved choice issues can be reduced to a level where they have little or no impact on the resultant performance of the spectrometry system. This document explains how you can easily make a wise, well-informed choice. We assume yo...
متن کاملA Framework For Efficient Modular Heap Analysis
Modular heap analysis techniques analyze a program by computing summaries for every procedure in the program that describes its effects on an input heap, using pre-computed summaries for the called procedures. In this article, we focus on a family of modular heap analyses that summarize a procedure’s heap effects using a context-independent, shape-graph-like summary that is agnostic to the alia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Instrumentation
سال: 2011
ISSN: 1748-0221
DOI: 10.1088/1748-0221/6/08/p08013